非标准分析与概率论

本文概述了非标准分析发展的简史,介绍了超实数系,导数的非标准表示,并举例说明了数学命题的非标准证明比标准证明更为简洁、直观。文章的后一部分介绍了ｌｏｅｂ概率空间以及概率积分的＊有限求和的表示,并指出概率论从本质上是初等的结论。     

Hill 方程在远距离拦截中的应用

提出了一种通过坐标系移动,化原系中的大相对距离为新系中的小相对距离,以减小Ｈｉｌｌ方程在大相对距离时的模型误差的方法,即当拦截器的相对距离达到某一精度许可的值ρ＿１时（定义ρ＿１为精度控制参数,例如可取ρ＿１＝５００ｋｍ）,以拦截器位置为原点,建立一假想的动参考系,将拦截器在原动系中的相对运动参数转换为新系中的相对运动参数（显然在新系中的初始相对距离）,从而化大相对距离为小相对距离问题,提高Ｈｉｌｌ方程的描述精度。本文给出了方法的理论分析及两个计算机仿真实例,该法确可有效地减小Ｈｉｌｌ方程在大相对距离时的模型误差,结果是令人满意的。     

弧连通空间与收敛类

本文利用收敛类的理论刻划弧连空间,并得到:集合X上具有F性质的子集簇(?)确定了X的一个收敛类(?),则(?)诱导出的拓扑空间(X,(?)-(?))是弧连通的;反之,每一个弧连空间(X,(?)都可以由集合X的一个收敛类诱导出来。     

利用径向力平衡飞行控制的航天器高精度轨道捕获方法

为实现对探测器轨道形状与高度的精准调整,提出一种径向力平衡飞行的航天器连续推力控制新方法。建立连续推力平衡飞行的动力学极坐标模型,并推导出特殊条件下的解析轨道解,进一步分析边值条件,给出连续推力的控制律。利用这一平衡飞行控制理论,构建轨道捕获的最优控制策略。考虑推力器的推力水平,通过一次或多次的控制过程,实现对轨道形状、轨道高度及轨道相位的综合调整。数值仿真表明:利用平衡飞行的轨道控制方法,配置微小推力器的空间引力波探测器可以实现高精度的轨道捕获;该方法具有控制过程可解析、计算量小、简便、实用等特点。     

一种非对称鲁棒性盲水印算法

针对数字图像版权保护,提出一种非对称鲁棒性盲数字水印方法。通过将水印嵌入到最少受图像改变影响的子空间,使嵌入水印具有鲁棒性,且通过对特征子空间的选取限制,使算法具有较高的检测概率和安全性以及较低的虚警概率。同时,水印嵌入矩阵与提取矩阵不同,它可公开除密钥外的所有其它的信息,而且能实现水印盲提取。实验结果证明了该算法的鲁棒性。     

重视空间环境条件对航天器的作用

空间环境条件对地面航天器发射和空间航天器系统运行有很大影响。为了减少空间环境对航天器的影响作用,必须重视航天器的空间环境可靠性设计、空间环境试验以及空间环境保障。提出了在航天器设计、飞行试验与运行过程中,必须考虑可能带来影响的空间环境条件因素。     

连续信息空间中的信息泄漏问题研究

在联邦式作战仿真平台中,互相通信的主体在进行通信的同时还需要保护其私有的信息。讨论了基于线性方程组“无穷解”条件下的连续信息空间的信息泄漏和保护问题,包括该模型的基本特性和防止泄漏的方法,指出了存在信息的部分泄漏问题,并给出了检测部分泄漏的方法,为提高计算性能,可指定检测子空间,最后,讨论了信息动态改变对信息泄漏的影响。     

受限空间可燃气体爆炸抑爆实验系统研究

针对狭长受限空间可燃气体爆炸抑制模拟实验研究的需要,采用超细冷气溶胶抑爆技术设计了一套操作方便、组装灵活、结构合理的复合式气体爆炸抑制系统.完成气体爆炸和抑爆实验.实验表明该抑爆实验系统能满足受限空间不同工况气体爆炸抑爆实验研究的需要;同时也表明可燃气体浓度、抑爆剂性能、信号采集及控制系统响应速度等是影响抑爆效果的主要因素.文中的研究为进一步研制抑爆装置奠定了实验和理论基础.     

基于航迹跟踪的EKF应用研究

在复杂的电磁环境,对运动目标的跟踪检测成为目标定位跟踪领域的热点研究课题。介绍了雷达数据处理和EKF算法,并提出了在三维空间中EKF(扩展Kalman滤波)算法的应用,实时地跟踪三维空间中的运动目标,并进行了计算机模拟,验证了该算法具有的较好的鲁棒性和跟踪精度,能够满足现代战争的需要。     

大空间建筑烟气控制的数值模拟研究

采用FDS模型模拟了大空间内发生火灾的烟气运动过程,分析了不同排烟模式下烟气控制的效果。模拟结果表明,补气口面积、火源功率对排烟效果影响较大;而排烟口的布置方式和排烟速率的影响较小。